Meta-reasoning: A Survey
نویسنده
چکیده
We present the basic principles and possible applications of systems capable of meta-reasoning and reflection. After a discussion of the seminal approaches, we outline our own perception of the state of the art, mainly but not only in computational logic and logic programming. We review relevant successful applications of meta-reasoning, and the basic underlying semantic principles.
منابع مشابه
The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations Part 2—A Survey
Over the past three decades, a variety of meta-reasoning systems which support reasoning about higher-order abstract specifications have been designed and developed. In this paper, we survey and compare four meta-reasoning systems, Twelf, Beluga, Abella and Hybrid, using several benchmarks from the open repository ORBI that describes challenge problems for reasoning with higher-order abstract s...
متن کاملControl Techniques for Complex Reasoning: The Case of MILORD II
In this paper we survey MILORD II, a KBS design tool. We concentrate on its object level and meta-level languages, with special emphasis on the control techniques and the comunication between both languages. The control, declarative in nature, is based on reflection techniques over a meta-language equipped with a declarative backtracking mechanism. Reflection and subsumption techniques are used...
متن کاملLifting the veil: a typological survey of the methodological features of Islamic ethical reasoning on biomedical issues.
We survey the meta-ethical tools and institutional processes that traditional Islamic ethicists apply when deliberating on bioethical issues. We present a typology of these methodological elements, giving particular attention to the meta-ethical techniques and devices that traditional Islamic ethicists employ in the absence of decisive or univocal authoritative texts or in the absence of establ...
متن کاملThe Next 700 Challenge Problems for Reasoning with Higher-Order Abstract Syntax Representations: Part 1-A Common Infrastructure for Benchmarks
A variety of logical frameworks support the use of higher-order abstract syntax (HOAS) in representing formal systems. Although these systems seem superficially the same, they differ in a variety of ways; for example, how they handle a context of assumptions and which theorems about a given formal system can be concisely expressed and proved. Our contributions in this paper are three-fold: 1) w...
متن کاملMeta-reasoning for Agents' Private Knowledge Detection
Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There is a potential for meta-reasoning in multi-agent systems. Meta-reasoning can be used for reconstructing agents’ private knowledge, their mental states and for prediction of their future courses of action. Meta-agents should have the...
متن کامل